World of Books - Find your book here

Programming Languages and Systems: 14th European Symposium ...

Mooly Sagiv

Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms. MIT Press and McGraw-Hill Book Company, 2001. 2. Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model  ...

Stabilization, Safety, and Security of Distributed Systems: ...

Preview

Shlomi Dolev, Yinnon Haviv, and Mooly Sagiv, “Self-stabilization preserving compiler”, Proc. of the 7th International Symposium on Self-Stabilizing Systems, Lecture Notes in Computer Science 3764, Springer, pp. 81–95, 2005. Also in Technical Report #2005-06, Department of Computer Science, Ben-Gurion University of the Negev, Israel, 2005. 6. Shlomi Dolev and Reuven Yagel, “ Memory management for self-stabilizing operating systems”. Proc. of the 7th International Symposium ...